基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

层裂问题的数值研究

本文对Carrol、Holt 和Johnson提出的延性材料损伤断裂进行了改进。在模型中考虑了材料的硬化效应和空穴成核的影响。用数值方法模拟了高速碰撞中OFCH 铜和铝的层裂过程,其结果与实验吻合得相当好。     

多自由度系统及结构非线性自由振动的摄动谐波平衡法

本文在谐波平衡法的基础上,引入摄动的思想,得出了解多自由度系统及结构的非线性自由振动的新方法。其解的形式为小参数和谐波的级数形式,因此,其解不会遗漏任何项,方程为线性的代数方程;利用线性变换,将系数矩阵变换为对角阵,一旦求出线性模态,就可得其解,比线性化迭代法优越得多。算例表明,本文方法对于小振幅有较高的精度,对于较大振幅其结果也是令人满意的。     

聚碳硅烷先驱体制备SiC基复合材料的性能研究

本文以聚碳硅烷(PCS)为先驱体,SiC晶须,SiC微粉或C纤维为增强剂,热解转化制得SiC/SiC或C/SiC复合材料,研究其制备工艺过程对材料的力学和热物理性能的影响。结果表明:PCS在1300℃下转化为β-SiC微晶并将未烧结的增强剂网络在一起形成SiC/SiC或C/SiC复合材料。该SiC基复合材料具有较好的常温和高温机械强度,优异的耐热疲劳和抗热震性能,在1300℃空气中具有良好的抗氧化性。     

C~3I文电系统的设计研究与实现

针对C~3I 系统工程对文电作业处理的实用需求,重点对其中的软件模块组织和硬件支撑环境等基本技术进行了综合性阐述。本文可对文电系统总体设计提供参考。     

噪声图像压缩编码的小波变换方法

基于小波变换理论，研究小波变换域噪声图像的压缩编码方法，以实现在小波变换域同时达到对图像噪声的去除与图像压缩编码的目的，并且使两者均获得较好的效果。最后给出的实验结果证明了本文方法的有效性。     

高超声速飞行器边界层外缘参数仿真分析

以高超声速飞行器为研究对象,构建快速准确计算高超声速飞行器无黏边界层外缘参数的计算方法。拟合空气比热、比热比随温度变化曲线,建立空气属性温度划分准则。基于不同空气属性建立高超声速飞行器边界层外缘参数工程与数值计算模型,采用钝双锥模型,对比分析工程估算、无黏数值及有黏数值计算方法的计算结果。结果表明,0°攻角状态下,基于无黏流场的数值计算与工程估算和有黏数值计算的压强最大差值分别为1.19%和2.39%;10°攻角状态下,最大差值分别为5%和50%;从而证明所提出的无黏数值计算方法明显优于工程计算方法,为进一步快速准确计算高超声速飞行器气动热环境奠定了重要基础。     

《线性代数》教学与观念更新

《线性代数》是理、工、农、经类各专业的一门重要的基础课,对后续课程起到工具性、奠基性的作用。《线性代数》中许多概念抽象、层次甚高,学生普遍感到难学,教师在教学中要注意指导和帮助学生更新观念,使其加深对抽象概念的理解,以便较好地掌握基础的代数思想和代数方法。     

关于对“城市火灾风险与灭火救援力量”评估的探讨

加强政府对消防工作的科学决策，编制“城市火灾风险与灭火救援力量”方案是落实科学发展观的具体举措。围绕进一步规范“城市火灾风险与灭火救援力量”的评估工作，从火灾形势、消防力量、公共消防设施建设、消防工作社会化、公民消防素质教育等方面提出开展评估的具体办法，并从机构设定、评估定位、工作原则和程序等方面就公共消防安全评估机制建设提出建议。     

军民融合产业概念及范畴研究

军民融合产业概念及范畴不明确一直是困扰决策部门和研究部门的问题,影响了军民融合发展的顺利推进。本文在梳理总结军民融合产业概念及范畴的研究现状以及政府文件表述的基础上,认为军民融合作为一种发展模式,定义军民融合产业概念并非易事,但出于当前工作要求,需要相关管理部门整合力量,加强研究,尽快明确军民融合产业概念和范畴,构建科学合理的军民融合产业统计体系。